provably unsolvable

The set or property of problems for which no {algorithm} at

all exists. E.g. the {Halting Problem}. See also {provably

difficult}.